perm filename G.61[AM,DBL] blob
sn#169681 filedate 1975-07-22 generic text, type T, neo UTF8
INITIALIZATION COMPLETED. TO START AM, TYPE (START)
<GREEN>CON4.;1
←REMPROP(COMPOSE EXS)
EXS
←
BREAK(XEQ-CAND)
(XEQ-CAND)
←
START)
ENTERING MAIN LOOP NOW.
VERBOSITY LEVEL (0-10) ...
10
DO-THRESH REDUCED TO 1023
MUST FIND NEW CANDS
(ACTIVE-INST-E-SUGG compiling)
(ACTIVE-INST-E-SUGG (BA1 BA2 BA3) NIL)
(ANYB-EXS-E-SUGG compiling)
(ANYB-EXS-E-SUGG (BA1 BA2 BA3) NIL)
(ANYB-EXS-BDY-E-SUGG compiling)
(ANYB-EXS-BDY-E-SUGG (BA1 BA2 BA3) NIL)
DO-THRESH REDUCED TO 682
MUST FIND NEW CANDS
GC: 16
498, 1010 FREE WORDS
DO-THRESH REDUCED TO 454
MUST FIND NEW CANDS
DO-THRESH REDUCED TO 302
MUST FIND NEW CANDS
NEW CAND = (390 FILLIN SET-STRUC EXS-BDY)
(XEQ-CAND broken)
:EVAL
(ANYB-ANYP-E-FILLIN1 compiling)
π(ANYB-ANYP-E-FILLIN1 (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-EXS-BDY-E-FILLIN2 compiling)
π RUNNING AT 425172 LOAD AV. = 5.31, USED 0:03:21.6 IN 0:37:27
(STRUCTURE-EXS-BDY-E-FILLIN2 (BA1 BA2 BA3 BA4) NIL)
XEQ-CAND evaluated
:!VALUE
NIL
:OK
XEQ-CAND
NEW CAND = (390 FILLIN SET-STRUC EXS-BDY) REPEATER CAND SKIPPED
DO-THRESH REDUCED TO 230
FOR THE FORSEEABLE FUTURE.
NEW CAND = (390 FILLIN SET-STRUC EXS-BDY) REPEATER CAND SKIPPED
DO-THRESH REDUCED TO 153
FOR THE FORSEEABLE FUTURE.
NEW CAND = (390 FILLIN SET-STRUC EXS-BDY) REPEATER CAND SKIPPED
DO-THRESH REDUCED TO 102
FOR THE FORSEEABLE FUTURE.
NEW CAND = (346 CHECK SET-STRUC EXS)
(XEQ-CAND broken)
:EVAL
(ANYB-EXS-E-CHECK1 compiling)
(ANYB-EXS-E-CHECK1 (BA1 BA2 BA3 BA4) NIL)
(SET-STRUC-E-DEFN compiling)
*****((TYPE NONRECURSIVE (MATCH BA1 WITH ('CLASS $))) - NON ATOMIC CAR O
**F FORM)
(SET-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
u.d.f.
(T broken)
:edit
=EDIT
can't
:ππ IO WAIT AT 16131 LOAD AV. = 2.26, USED 0:03:33.7 IN 0:51:10
(LENGTH CANDS)
36
:
GETP(SET-STRUC EXS)
(ANY-OF NIL (CLASS) (CLASS CORDELL ED) (CLASS R1-0 R1-1 R1-2 R1-3 R1-4 R
**1-5 R1-6 R1-7 R2-0 R2-1 R2-2 R2-3 R2-4 R2-5
R2-6 R2-7 R3-0 R3-1 R3-2 R3-3 R3-4 R3-5 R3-6 R3-7 R4-0 R4-1 R4-2 R4-3 R4
**-4 R4-5 R4-6 R4-7))
:
BT
SET-STRUC-E-DEFN
EVAL
SELF-COMPILE
SET-STRUC-E-DEFN
PROGN
APPLY
SELECTQ
SET-STRUC
ANYB-EXS-E-CHECK1
EVAL
SELF-COMPILE
ANYB-EXS-E-CHECK1
PROGN
APPLY
SELECTQ
ANYB-EXS
APPLYB
#41202
MAPC
PROGN
AND
CHECK
EVAL
SETQ
**BREAK**
XEQ-CAND
PROG
TLOOP
START
**TOP**
:AM-BT)
AM-BT
(V1)
((V1))
SELF-COMPILE
(BP C AL)
(SET-STRUC-E-DEFN ((TYPE NONRECURSIVE (MATCH BA1 WITH ('CLASS $))) (T
**YPE RECURSIVE (COND ((EQUAL BA1 (LIST (QUOTE
CLASS)))) ((NOT (AND (LISTP BA1) (CDR BA1))) NIL) ((APPLYB (QUOTE SET-ST
**RUC) (QUOTE DEFN) (APPLYB (QUOTE
STRUCTURE-DELETE) (QUOTE ALGS) (APPLYB (QUOTE STRUCTURE-MEMB) (QUOTE ALG
**S) NIL (COPY BA1)) (COPY BA1))))))) (BA1 BA2
BA3))
SET-STRUC
(BP BA1 BA2 BA3 BA4)
(DEFN (CLASS) NIL NIL NIL)
SELF-COMPILE
(BP C AL)
(ANYB-EXS-E-CHECK1 (AND (PROG1 T (MAPC GEXISTING (FUNCTION (LAMBDA (X
**1) (COND ((AND (GETB CS-B (QUOTE DEFN)) (NOT
(APPLYB CS-B (QUOTE DEFN) X1))) (GTRANSFER X1 (QUOTE NOT-BDY))) ((AND (G
**ETB CS-B (QUOTE INTU)) (NOT (APPLYB CS-B (QUOTE
INTU) X1))) (GTRANSFER X1 (QUOTE BDY))))))))) (BA1 BA2 BA3 BA4))
ANYB-EXS
(BP BA1 BA2 BA3 BA4)
(CHECK1 EXS NIL NIL NIL)
APPLYB
(#0 BP BA1 BA2 BA3)
(ANYB-EXS CHECK1 EXS NIL NIL)
XEQ-CAND ---NO ARGS
TLOOP ---NO ARGS
START ---NO ARGS
NIL
:
SET-STRUC(DEFN (SETQ W X]
(STRUCTURE-MEMB-E-ALGS compiling)
(STRUCTURE-MEMB-E-ALGS (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-DELETE-E-ALGS compiling)
(STRUCTURE-DELETE-E-ALGS (BA1 BA2 BA3 BA4) NIL)
u.d.f.
(NIL broken)
:CHANGE-B(SET-STRUC DEFN)
... DEFN (ANY1OF & &) INTU (ANY1OF & &) IN-DOM-OF (SET-STRUC-INSERT) DEF
**N-NOT (ANY-OF &) VIEW (ANY-OF NIL) SPEC NIL EXS (
ANY-OF NIL & & &) EXS-NOT-BDY (ANY-OF NIL &) EXS-BDY (ANY-OF NIL))
tty:
*2 P
(ANY1OF (TYPE NONRECURSIVE &) (TYPE RECURSIVE &))
*OK
SET-STRUC, DEFN
DEFN
:PP(SET-STRUC-E-DEFN)
(SET-STRUC-E-DEFN
[LAMBDA (BA1 BA2 BA3)
(SELF-COMPILE SET-STRUC-E-DEFN ((TYPE NONRECURSIVE (MATCH BA1 WITH (
**'CLASS $)))
(TYPE RECURSIVE (COND
[(EQUAL BA1 (LIST (QUOTE CLASS]
((NOT (AND (LISTP BA1)
(CDR BA1)))
NIL)
((APPLYB (QUOTE SET-STRUC)
(QUOTE DEFN)
(APPLYB (QUOTE STRUCTURE-DELETE)
(QUOTE ALGS)
(APPLYB (QUOTE STRUCTURE-MEM
**B)
(QUOTE ALGS)
NIL
(COPY BA1))
(COPY BA1])
(SET-STRUC-E-DEFN)
:
EDITF(DEFB)
edit
*F GETB
*REDO F
REDO F
GC: 8
ππ RUNNING AT 22277 LOAD AV. = 3.49, USED 0:03:46.0 IN 1:03:27
ππ9325, 10347 FREE WORDS
RUNNING AT 17332 LOAD AV. = 4.01, USED 0:03:53.9 IN 1:03:58
*P
(GETB B (QUOTE ALGS))
*REDO F
REDO F
GETB ?
*↑
*F PUTD
*-1 P
(LIST (QUOTE LAMBDA) (GETARGS XP) (LIST & BP &))
*-1 -1 P
(GETB B XP)
*(1 FGETB)
*OK
DEFB
:EDITF(INIT-C)
edit
*F FGETB
*P
... FGETB)
*0 PP
(QUOTE FGETB)
*0 PP
(MOVD (QUOTE GETP)
(QUOTE FGETB))
*OK
INIT-C
:CHANGE-B)
SET-STRUC
DEFN
... DEFN (ANY1OF & &) INTU (ANY1OF & &) IN-DOM-OF (SET-STRUC-INSERT) DEF
**N-NOT (ANY-OF &) VIEW (ANY-OF NIL) SPEC NIL EXS (
ANY-OF NIL & & &) EXS-NOT-BDY (ANY-OF NIL &) EXS-BDY (ANY-OF NIL))
tty:
*OK
SET-STRUC, DEFN
DEFN
:PP(SET-STRUC-E-DEFN)
(SET-STRUC-E-DEFN
[LAMBDA (BA1 BA2 BA3)
(SELF-COMPILE SET-STRUC-E-DEFN (ANY1OF (TYPE NONRECURSIVE (MATCH BA1
** WITH ('CLASS $)))
(TYPE RECURSIVE (COND
[(EQUAL BA1 (LIST (QU
**OTE CLASS]
((NOT (AND (LISTP BA1
**)
(CDR BA1))
**)
NIL)
((APPLYB (QUOTE SET-S
**TRUC)
(QUOTE DEFN)
(APPLYB (QUO
**TE STRUCTURE-DELETE)
(QUO
**TE ALGS)
(APP
**LYB (QUOTE STRUCTURE-MEMB)
** (QUOTE ALGS)
** NIL
** (COPY BA1))
(COP
**Y BA1])
(SET-STRUC-E-DEFN)
:
OK
u.d.f.
NIL
(NIL broken)
:BT
SET-STRUC-E-DEFN
PROGN
APPLY
SELECTQ
SET-STRUC
SET-STRUC-E-DEFN
PROGN
APPLY
SELECTQ
SET-STRUC
**BREAK**
SET-STRUC-E-DEFN
EVAL
SELF-COMPILE
SET-STRUC-E-DEFN
PROGN
APPLY
SELECTQ
SET-STRUC
ANYB-EXS-E-CHECK1
EVAL
SELF-COMPILE
ANYB-EXS-E-CHECK1
PROGN
APPLY
SELECTQ
ANYB-EXS
APPLYB
#41202
MAPC
PROGN
AND
CHECK
EVAL
SETQ
**BREAK**
XEQ-CAND
PROG
TLOOP
START
**TOP**
:RETURN (SET-STRUC 'DEFN (CLASS]
(SET-STRUC-E-DEFN compiling)
(SET-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
'BREAK' = T
πππu.d.f.
(NIL broken)
:RETURN T
'BREAK' = T
T
:
ππ IO WAIT AT 16131 LOAD AV. = 2.48, USED 0:04:03.3 IN 1:08:55
BT
SET-STRUC-E-DEFN
EVAL
SELF-COMPILE
SET-STRUC-E-DEFN
PROGN
APPLY
SELECTQ
SET-STRUC
ANYB-EXS-E-CHECK1
EVAL
SELF-COMPILE
ANYB-EXS-E-CHECK1
PROGN
APPLY
SELECTQ
ANYB-EXS
APPLYB
#41202
MAPC
PROGN
AND
CHECK
EVAL
SETQ
**BREAK**
XEQ-CAND
PROG
TLOOP
START
**TOP**
:RETURN T
T = T
(SET-STRUC-E-INTU compiling)
(SET-STRUC-E-INTU (BA1 BA2 BA3) NIL)
(UNORD-OBJ-EXS-E-CHECK1 compiling)
(UNORD-OBJ-EXS-E-CHECK1 (BA1 BA2 BA3 BA4) NIL)
(ANYB-ANYP-E-CHECK2 compiling)
(ANYB-ANYP-E-CHECK2 (BA1 BA2 BA3 BA4) NIL)
(ANYB-EXS-E-CHECK2 compiling)
(ANYB-EXS-E-CHECK2 (BA1 BA2 BA3 BA4) NIL)
(SET-STRUC-INTERSECT-E-ALGS compiling)
(SET-STRUC-INTERSECT-E-ALGS (BA1 BA2 BA3 BA4) NIL)
(SET-STRUC-DIFF-E-ALGS compiling)
(SET-STRUC-DIFF-E-ALGS (BA1 BA2 BA3 BA4) NIL)
XEQ-CAND evaluated
:!VALUE
T
:OK
XEQ-CAND
NEW CAND = (310 FILLIN COMPOSE EXS)
(XEQ-CAND broken)
:TRACE(FILLIN)
(FILLIN)
:
TRACE(COMPOSE)
(COMPOSE)
:
UNBREAK(COMPOSE)
(COMPOSE)
:
CHANGE-B(COMPOSE)
DEFN
... DEFN (ANY1OF &) ALGS (ANY1OF &) UP (OPERATION) SPEC NIL)
tty:
*OK
COMPOSE, DEFN
DEFN
:TRACE(COMPOSE)
(COMPOSE)
:
BREAK(SIMULT-SATISFY)
(SIMULT-SATISFY)
:
TRACE(SIMULT-SATISFY)
(SIMULT-SATISFY)
:
BREAK(CON-MERGE-ARGS)
(CON-MERGE-ARGS)
:
EVAL
FILLIN:
B = COMPOSE
BA1 = EXS
BA2 = NIL
BA3 = NIL
BA4 = NIL
RS = NIL
C1 = NIL
PP = NIL
(ANYB-EXS-E-FILLIN1 compiling)
(ANYB-EXS-E-FILLIN1 (BA1 BA2 BA3 BA4) NIL)
SIMULT-SATISFY:
GLIST = ((ππISA BA1 (QUOTE ACTIVE)) (ISA BA2 (QUOTE ACTIVE)) (ISA B
**A3 (QUOTE ACTIVE)) (ARE-EQUIV BA3 (APPLYB (QUOTE
RUNNINGCOMPOSE) (QUOTE AT 14603 ALGS) BA1 BA2)))
LOAD AV. = 3.48, USED 0:04:17.5 IN 1:13:52
COMPOSE:
BP = ALGS
BA1 = FINAL
BA2 = STRUCTURE-EQUAL
BA3 = NIL
BA4 = NIL
(COMPOSE-E-ALGS compiling)
(COMPOSE-E-ALGS (BA1 BA2 BA3 BA4) NIL)
(CON-MERGE-ARGS broken)
:BA1
FINAL
:?=
F1 = FINAL
F2 = STRUCTURE-EQUAL
F12 = COMPOSE-FINAL&STRUCTURE-EQUAL
PGM1 = NIL
:EVAL
CON-MERGE-ARGS evaluated
:!VALUE
((OSET (STRUCTURE STRUCTURE ANYTHING)) (PROGN (SETQ GTEMP1 (APPLYB (QUOT
**E STRUCTURE-EQUAL) (QUOTE ALGS) BA1 BA2))
(COMMENT NO SWITCHING) (SETQ GTEMP2 (APPLYB (QUOTE FINAL) (QUOTE ALGS) G
**TEMP1 BA2))))
:(LAST)
NIL
:
(LAST T)
NIL
:
FINAL()
NIL
:
FINAL(ALGS)
(FINAL-E-ALGS compiling)
(FINAL-E-ALGS (BA1 BA2 BA3 BA4) NIL)
NIL
:
FINAL(ALGS T)
NIL
:
OK
CON-MERGE-ARGS
COMPOSE = COMPOSE-FINAL&STRUCTURE-EQUAL
SIMULT-SATISFY = COMPOSE-FINAL&STRUCTURE-EQUAL
COMPOSE:
BP = ANAS
BA1 = EXS
BA2 = NIL
BA3 = NIL
BA4 = NIL
COMPOSE = NIL
(ANYB-EXS-E-FILLIN2 compiling)
(ANYB-EXS-E-FILLIN2 (BA1 BA2 BA3 BA4) (ORIG-EMP))
GC: 8
ππ RUNNING AT 23105 LOAD AV. = 4.56, USED 0:04:40.1 IN 1:19:46
17705, 17705 FREE WORDS
FILLIN = NIL
XEQ-CAND evaluated
:EDITF(SIMULT-SATISFY)
Note: you are editing a BROKEN definition.
edit
*F GTEMP6
*P
... GTEMP6 (COND & &))
*0 P
(SETQ GTEMP6 (COND & &))
*0 P
(LAMBDA (G BA BN XPR BN2) (SETQ GTEMP6 &))
*0 0 P
(MAPC GLIST (FUNCTION &))
*0 P
(PROGN (MAPC GLIST &) **COMMENT** GTEMP6)
*4 P
GTEMP6
*MBD LIST
*OK
SIMULT-SATISFY
:GTEMP12
COMPOSE-FINAL&STRUCTURE-EQUAL
:(EDITP GTEMP12)
NIL not editable.
(XEQ-CAND broken)
:(APPLY* 'EDITP GTEMP12)
edit
*P
(DEFN (ANY1OF &) ARGS (OSET &) ALGS (ANY1OF &) WORTH (100 310 10 10 10))
*PP
(DEFN (ANY1OF (APPLYB COMPOSE ALGS FINAL STRUCTURE-EQUAL BA1 BA2))
ARGS
(OSET (STRUCTURE STRUCTURE ANYTHING))
ALGS
[ANY1OF (PROGN (SETQ GTEMP1 (APPLYB (QUOTE STRUCTURE-EQUAL)
(QUOTE ALGS)
BA1 BA2))
(COMMENT NO SWITCHING)
(SETQ GTEMP2 (APPLYB (QUOTE FINAL)
(QUOTE ALGS)
GTEMP1 BA2]
WORTH
(100 310 10 10 10))
*E (Q WW)
(QUOTE WW)
*OK
COMPOSE-FINAL&STRUCTURE-EQUAL
:EDITF(Q)
edit
*P
(NLAMBDA (X) (LIST & X))
*3 P
(LIST (QUOTE QUOTE) X)
*MBD LIST 'QUOTE
P
(LIST (QUOTE QUOTE) (LIST & X))
*PP
(LIST (QUOTE QUOTE)
(LIST (QUOTE QUOTE)
X))
*OK
Q
:(Q WW)
(QUOTE (QUOTE WW))
:
FILES?)
ππ RUNNING AT 475453 LOAD AV. = 3.53, USED 0:04:48.7 IN 1:37:55
πTOP4...to be dumped.
NIL
:
UNBREAK)
(XEQ-CAND FILLIN COMPOSE SIMULT-SATISFY CON-MERGE-ARGS)
:
MAKEFILE(TOP4)